10.7 标准类型转换模板¶

简介¶

有时候为了获取元素类型，我们可以使用标准库的类型转换模板，这些模板定义在type_traits中。如果我们用一个引用类型实例化remove_reference，则type类型成员将表示被引用的类型。例如我们实例化remove_reference<int&>，则type成员将是int。

操作¶

对`Mod<T>`。其中`Mod`为	若`T`为	则`Mod<T>::type`为
`remove_reference`	`X&`或`X&&` 否则	`X` `T`
`add_const`	`X&, const X`或函数否则	`T` `const T`
`add_lvalue_reference`	`X&` `X&&` 否则	`T` `X&` `T&`
`add_rvalue_reference`	`X&`或`X&&` 否则	`T` `T&&`
`remove_pointer`	`X*` 否则	`X` T
`add_pointer`	`X&`或`X&&` 否则	`X` `T`
`make_signed`	`unsigned X` 否则	`X` `T`
`make_unsigned`	带符号类型否则	`unsigned X` `T`
`remove_extent`	`X[n]` 否则	`X` `T`
`remove_all_extent`	`X[n1][n2]` 否则	`X` `T`